B(PN)2 - a Basic Petri Net Programming Notation

Oob(pn) 2 : an Object Oriented Petri Net Programming Notation (a Status Report)

In this paper we present an overview of the basic ideas involved in an ongoing project for giving Petri net semantics to an object-oriented language. At present the emphasis is not in the development of the language, but in the study of how far one can get with the existing Petri net machinery. The OOB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is...

OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)

In this paper we present a translation from the object-based language OB(PN) 2 to a class of high-level Petri nets. The OB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is inspired by the B(PN) 2 semantics deened in terms of M-nets. The translation relies on the CCS-like composition operators deened for M-nets. Each program construct is translated to...

OB(PN)2: An Object Based Petri Net Programming Notation

An M-net Semantics of B(pn) 2

Using a class of high level Petri nets, M-nets, endowed with composition operators resembling those of CCS, we give the compositional semantics of B(PN) 2-a syntactically simple but semantically powerful concurrent programming language. We also give an associated low level net semantics and show the consistency of these high and low level semantics , as well as consistency with a previously dee...

Modelling Flexible Manufacturing Systems: A Petri Nets Modular Approach

This paper investigates the use of a graphic notation and a Petri Net (PN) modular approach for the modelling of Flexible Manufacturing Systems (FMSs). The development and the analysis of complex FMS models can greatly beneet from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to...